Communicator Sensitive Static Analysis of MPI Collective Communication

Collective communication is widely used in MPI programs. However, its misuse may cause synchronization errors. This paper first proposes an extention to an existing static barrier analysis approach, so that it can check one necessary condition for correct collective communication. Since previous analyzers do not distinguish different communicators, they may report false alarms. This paper further presents a communicator sensitive collective communication analyzer. Moreover, this paper reports the results of comparative experiments on several real MPI programs. Compared with existing static analyzers, the proposed tool generates less false alarms, can check more communication behaviour, and is applicable to more programs.